COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	αXDEFINE TF↔
C00005 ENDMK
C⊗;
αXDEFINE TF⊗↔
αaαβ4αβ3⊗↔α+αc
⊗→⊗→⊗→⊗→⊗→αeα⊗=⊗⊗αdα⊗=\cr⊗↔αlαβ⊗↓